greet() {
  echo "Hello, world!"
}

greet
